(deftemplate testing
	(slot x) (slot y)
)

(watch all)

(reset)

(defrule forInitialFact
	?fact <- (initial-fact)
	=>
	(printout t "Fact name is: " :(call ?fact getName) crlf)
)

/*(defrule orTest
	(or (x ?x& :(> ?x 10)) (y ~?x) )
	=>
	(printout t "An example is located" crlf)
)*/

(defrule orTest1
	(or (x) (y) )
	=>
	(printout t "An example is located" crlf)
)

(assert (testing (x 11) (y 9) ) )

(run)